Cylindrical algebraic decomposition with equational constraints
نویسندگان
چکیده
منابع مشابه
Layered Cylindrical Algebraic Decomposition
In this paper the idea of a Layered CAD is introduced, a truncation of a CAD to only high dimensional cells. Limiting to full-dimensional cells has already been investigated in the literature, but including another level can be beneficial for applications. A related topological property is defined and related to robotics motion planning. The distribution of cell dimensions in a CAD is investiga...
متن کاملRegular cylindrical algebraic decomposition
We show that a strong well-based cylindrical algebraic decomposition P of a bounded semi-algebraic set is a regular cell decomposition, in any dimension and independently of the method by which P is constructed. Being well-based is a global condition on P that holds for the output of many widely used algorithms. We also show the same for S of dimension at most 3 and P a strong cylindrical algeb...
متن کاملAdvances in cylindrical algebraic decomposition
Cylindrical Algebraic Decomposition (CAD) was initially introduced to tackle the classic problem of quantifier elimination over real closed algebraic fields, however it has since seen many applications in its own right. Given a set of polynomials, multiple algorithms exist to produce a CAD such that over each cell the polynomials have constant sign. Inherently doubly exponential in the number o...
متن کاملOptimising Problem Formulation for Cylindrical Algebraic Decomposition
Cylindrical algebraic decomposition (CAD) is an important tool for the study of real algebraic geometry with many applications both within mathematics and elsewhere. It is known to have doubly exponential complexity in the number of variables in the worst case, but the actual computation time can vary greatly. It is possible to offer different formulations for a given problem leading to great d...
متن کاملTruth Table Invariant Cylindrical Algebraic Decomposition
Article history: Received 21 December 2014 Accepted 21 October 2015 Available online 4 November 2015
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2020
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2019.07.019